Uses of Class
edu.uky.ai.lp.logic.BooleanExpression

Packages that use BooleanExpression

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of BooleanExpression in edu.uky.ai.lp.logic

Subclasses of BooleanExpression in edu.uky.ai.lp.logic

Modifier and Type	Class	Description
class	Conjunction	Represents an expression with 1 or more conjuncts which must all be true.
class	Disjunction	Represents an expression with 1 or more disjuncts, at least one of which must be true.
class	NAryBooleanExpression	The superclass of any Boolean expression with multiple arguments.
class	Negation	Represents an expression whose opposite is true.